A Scenario-Based Validation Language for ASMs
نویسندگان
چکیده
This paper presents theAValLa language, a domain-speci c modelling language for scenario-based validation of ASM models, and its supporting tool, the AsmetaVvalidator. They have been developed according to the model-driven development principles as part of the asmeta(ASM mETAmodelling) toolset, a set of tools around ASMs. As a proof-of-concepts, the paper reports the results of the scenario-based validation for the well-known LIFT control case study.
منابع مشابه
Verifying Security Protocols: An ASM Approach
In this paper we present a modeling technique for security protocols using Abstract State Machines [BS03,Gur95] (ASMs). We describe how we model the different agents in the scenario, the attacker and the communication between them.
متن کاملThe Challenges of Scenario-Based Teaching Using Drama Scripts
It is widely believed that the major purpose of foreign language learning is to master the speaking skill of that language. Learners even evaluate their foreign language learning on the basis of their achievement in speaking proficiency. This study discusses different teaching methodologies aimed at the development of task-based language learning, drama and the manifestation of scenario-based t...
متن کاملA model-driven validation & verification environment for embedded systems
This paper presents a model-driven environment for HW/SW co–design and analysis of embedded systems based on the Unified Modeling Language, UML profiles for SystemC/multithread C, and the Abstract State Machine formal method. The environment supports a model-driven design methodology which provides a graphical high-level representation of hardware and software components, and allows C/C++/Syste...
متن کاملModel Checking and Refinement of ASM Models Using SMV
Gurevich’s Abstract State Machines (ASMs) are computational models of systems specified in a high level language (ASM-SL). In this paper, we investigate the pros and cons of the automatic verification of ASM models using the ASM-Workbench and its extention ASM-SMV, which supports computer-aided verification by model checking. The results obtained are based on the validation and verification of ...
متن کاملDevelopment of Reliable Aqueous Solubility Models and Their Application in Druglike Analysis
In this work, two reliable aqueous solubility models, ASMS (aqueous solubility based on molecular surface) and ASMS-LOGP (aqueous solubility based on molecular surface using ClogP as a descriptor), were constructed by using atom type classified solvent accessible surface areas and several molecular descriptors for a diverse data set of 1708 molecules. For ASMS (without using ClogP as a descript...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2008